Руководства по эксплуатации для Philips PET727, инструкции на Портативные DVD-плееры